tan x cot x = 2 csc 2x